Lógica matemática: conceitos, notação, fórmulas, tabelas-verdade e Álgebra Booleana. Teoria dos conjuntos: definições, representação dos conjuntos, relações e operações. Técnicas de contagens: métodos de enumeração, teorema binomial e princípio da casa dos pombos. Princípio da indução matemática: notação somatória e produtória, definição e método do princípio da indução.